what is indirect proof